prolog './goi.ijs'
NB. o./ B ---------------------------------------------------------------

cir=: 4 : 'x o. y'

(o./   -: cir/  ) x=: ?    23$2
(o./   -: cir/  ) x=: ?3   23$2
(o./"1 -: cir/"1) x
(o./   -: cir/  ) x=: ?7 5 23$2
(o./"1 -: cir/"1) x
(o./"2 -: cir/"2) x

(o./   -: cir/  ) x=: ?    24$2
(o./   -: cir/  ) x=: ?4   12$2
(o./"1 -: cir/"1) x
(o./   -: cir/  ) x=: ?4 2  8$2
(o./"1 -: cir/"1) x
(o./"2 -: cir/"2) x


NB. o./ I ---------------------------------------------------------------

cir=: 4 : 'x o. y'

(o./   -: cir/  ) x=: _5+?    3$13
(o./   -: cir/  ) x=: _5+?2   3$13
(o./"1 -: cir/"1) x
(o./   -: cir/  ) x=: _3+?2 3 3$7
(o./"1 -: cir/"1) x
(o./"2 -: cir/"2) x


NB. o./ D ---------------------------------------------------------------

cir=: 4 : 'x o. y'

(o./   -: cir/  ) x=: [&.o. _5+?2    $13
(o./   -: cir/  ) x=: [&.o. _5+?2   3$13
(o./"1 -: cir/"1) x
(o./   -: cir/  ) x=: [&.o. _5+?2 3 3$13
(o./"1 -: cir/"1) x
(o./"2 -: cir/"2) x


NB. o./ Z ---------------------------------------------------------------

cir=: 4 : 'x o. y'

(o./   -: cir/  ) x=:[&.j._5+?2    $13
(o./   -: cir/  ) x=:[&.j._5+?2   3$13
(o./"1 -: cir/"1) x
(o./   -: cir/  ) x=:[&.j._5+?2 3 3$13
(o./"1 -: cir/"1) x
(o./"2 -: cir/"2) x

'domain error' -: o./ etx 'eleemosynary'
'domain error' -: o./ etx ;:'quod erat demonstratum'




epilog''

